Localic sup-lattices and tropological systems
نویسندگان
چکیده
منابع مشابه
Localic sup-lattices and tropological systems
The approach to process semantics using quantales and modules is topologized by considering tropological systems whose sets of states are replaced by locales and which satisfy a suitable stability axiom. A corresponding notion of localic suplattice (algebra for the lower powerlocale monad) is described, and it is shown that there are contravariant functors from sup-lattices to localic sup-latic...
متن کاملTropological systems are points of quantales
We address two areas in which quantales have been used. One is of a topological nature, whereby quantales or involutive quantales are seen as generalized noncommutative spaces, and its main purpose so far has been to investigate the spectrum of noncommutative C*-algebras. The other sees quantales as algebras of abstract experiments on physical or computational systems, and has been applied to t...
متن کاملTannaka Theory over Sup-lattices and Descent for Topoi
We consider locales B as algebras in the tensor category s` of sup-lattices. We show the equivalence between the Joyal-Tierney descent theorem for open localic surjections shB q −→ E in Galois theory and a Tannakian recognition theorem over s` for the s`-functor Rel(E) Rel(q ∗) −→ Rel(shB) ∼= (B-Mod)0 into the s`-category of discrete B-modules. Thus, a new Tannaka recognition theorem is obtaine...
متن کاملLocalic Databases
1.2. Morphisms between locales. We introduced the above ideas using a map of simplicial sets f : X → Y , but in actuality the definitions of F∗ and F∗ work whenever F is a open morphism of locales, as we shall soon see. To get to that point, however, it is best to start all over, by taking X and Y to be arbitrary locales and considering an arbitrary adjunction f∗ : Y //X : f∗ oo as a morphism F...
متن کاملEntourages, Covers and Localic Groups
Due to the nature of product in the category of locales, the entourage uniformities in the point-free context only mimic the classical Weil approach while the cover (Tukey type) ones can be viewed as an immediate extension. Nevertheless the resulting categories are concretely isomorphic. We present a transparent construction of this isomorphism, and apply it to the natural uniformities of local...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2003
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(02)00702-8